نظریه اثبات: مقدمه [کتاب انگلیسی] | کتابخانه مجازی الفبا
کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی
کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی
کانال ارتباطی از طریق پست الکترونیک :
support@alefbalib.com
نام :
*
*
نام خانوادگی :
*
*
پست الکترونیک :
*
*
*
تلفن :
دورنگار :
آدرس :
بخش :
مدیریت کتابخانه
روابط عمومی
پشتیبانی و فنی
نظرات و پیشنهادات /شکایات
پیغام :
*
*
حروف تصویر :
*
*
ارسال
انصراف
از :
{0}
پست الکترونیک :
{1}
تلفن :
{2}
دورنگار :
{3}
Aaddress :
{4}
متن :
{5}
فارسی |
العربیه |
English
ورود
ثبت نام
در تلگرام به ما بپیوندید
پایگاه جامع و تخصصی کلام و عقاید و اندیشه دینی
جستجو بر اساس ...
همه موارد
عنوان
موضوع
پدید آور
جستجو در متن
: جستجو در الفبا
در گوگل
...جستجوی هوشمند
صفحه اصلی کتابخانه
پورتال جامع الفبا
مرور منابع
مرور الفبایی منابع
مرور کل منابع
مرور نوع منبع
آثار پر استناد
متون مرجع
مرور موضوعی
مرور نمودار درختی موضوعات
فهرست گزیده موضوعات
کلام اسلامی
امامت
توحید
نبوت
اسماء الهی
انسان شناسی
علم کلام
جبر و اختیار
خداشناسی
عدل الهی
فرق کلامی
معاد
علم نفس
وحی
براهین خدا شناسی
حیات اخروی
صفات الهی
معجزات
مسائل جدید کلامی
عقل و دین
زبان دین
عقل و ایمان
برهان تجربه دینی
علم و دین
تعلیم آموزه های دینی
معرفت شناسی
کثرت گرایی دینی
شرور(مسأله شر)
سایر موضوعات
اخلاق اسلامی
اخلاق دینی
تاریخ اسلام
تعلیم و تربیت
تفسیر قرآن
حدیث
دفاعیه، ردیه و پاسخ به شبهات
سیره ائمه اطهار علیهم السلام
شیعه-شناسی
عرفان
فلسفه اسلامی
مرور اشخاص
مرور پدیدآورندگان
مرور اعلام
مرور آثار مرتبط با شخصیت ها
فهرست گزیده متکلمان،فیلسوفان و عالمان شیعی
مرور مجلات
مرور الفبایی مجلات
مرور کل مجلات
مرور وضعیت انتشار
مرور درجه علمی
مرور زبان اصلی
مرور محل نشر
مرور دوره انتشار
گالری
عکس
فیلم
صوت
متن
چندرسانه ای
جستجو
جستجوی هوشمند در الفبا
جستجو در سایر پایگاهها
جستجو در کتابخانه دیجیتالی تبیان
جستجو در کتابخانه دیجیتالی قائمیه
جستجو در کنسرسیوم محتوای ملی
کتابخانه مجازی ادبیات
کتابخانه مجازی حکمت عرفانی
کتابخانه تخصصی تاریخ اسلام و ایران
کتابخانه تخصصی ادبیات
کتابخانه الکترونیکی شیعه
علم نت
کتابخانه شخصی
مدیریت علاقه مندیها
ارسال اثر
دانشنامه
راهنما
راهنما
نظریه اثبات: مقدمه [کتاب انگلیسی]
Wolfram Pohlers (auth.)
کتابخانه مجازی الفبا
1989
کتابخانه مجازی الفبا
فارسی
کتاب الکترونیکی
میانگین امتیازات:
امتیاز شما :
تعداد امتیازات :
0
نظریه اثبات: مقدمه [کتاب انگلیسی]
ویرایش اثر
عنوان دیگر :
Proof Theory: An Introduction
مقدمه نظریه اثبات
درآمدی بر نظریه اثبات
وضعیت نشر :
Springer-Verlag Berlin Heidelberg ،
1989
چکیده :
although this is an introductory text on proof theory, most of its contents is not found in a unified form elsewhere in the literature, except at a very advanced level. the heart of the book is the ordinal analysis of axiom systems, with particular emphasis on that of the impredicative theory of elementary inductive definitions on the natural numbers. the "constructive" consequences of ordinal analysis are sketched out in the epilogue. the book provides a self-contained treatment assuming no prior knowledge of proof theory and almost none of logic. the author has, moreover, endeavoured not to use the "cabal language" of proof theory, but only a language familiar to most readers.
ترجمه ماشینی: اگرچه این یک متن مقدماتی در مورد نظریه اثبات است، بیشتر مطالب آن به صورت یکپارچه در جای دیگری در ادبیات یافت نمی شود، مگر در سطح بسیار پیشرفته. قلب این کتاب، تحلیل ترتیبی سیستمهای بدیهی است، با تأکید ویژه بر تئوری غیرقابل قبول تعاریف استقرایی ابتدایی در مورد اعداد طبیعی. پیامدهای "سازنده" تحلیل ترتیبی در پایان نامه ترسیم شده است. این کتاب با فرض عدم دانش قبلی در مورد نظریه اثبات و تقریباً هیچ یک از منطق، یک درمان مستقل ارائه می دهد. علاوه بر این، نویسنده کوشیده است از «زبان کابال» نظریه اثبات استفاده نکند، بلکه فقط از زبانی آشنا برای اکثر خوانندگان استفاده کند.
منابع دیجیتالی مرتبط :
نسخه PDF
کلید واژه اصلی :
نظریه اثبات
نویسنده :
Wolfram Pohlers (auth.)
زبان :
انگلیسی
منبع اصلی :
http://libgen.rs/book/index.php?md5=A4DE4B1F4301E2A86FF5FED1E769ECF4
جنس منبع:
متن
فروست:
Lecture Notes in Mathematics 1407
پایگاه :
ر:پایگاه موقت
یادداشت :
Proof Theory: An Introduction
نوع منبع :
کتاب
خروجی ها :
Mods
Doblin core
Marc xml
MarcIran xml
مشخصات کامل فراداده
مشخصات کامل اثر
منابع مرتبط :
ثبت نظر
ارسال
×
درخواست مدرک
کاربر گرامی : برای در خواست مدرک ابتدا باید وارد سایت شوید
چنانچه قبلا عضو سایت شدهاید
ورود به سایت
در غیر اینصورت
عضویت در سایت
را انتخاب نمایید
ورود به سایت
عضویت در سایت